Modal frame

Results: 21



#Item
11Philosophical logic / Metalogic / Propositional calculus / modal logic / Deduction / Aggregation / Discursive dilemma / General frame / Entailment / Logic / Mathematics / Philosophy

Synthese[removed]:1–24 Knowledge, Rationality & Action 1–24 DOI[removed]s11229[removed]x Decision framing in judgment aggregation Fabrizio Cariani · Marc Pauly · Josh Snyder

Add to Reading List

Source URL: www.pgrim.org

Language: English - Date: 2009-09-06 21:19:36
12Kripke semantics / Saul Kripke / General frame / Admissible rule / Modal algebra / Normal modal logic / Accessibility relation / Possible world / Modal realism / Logic / Mathematical logic / Modal logic

Logically Possible Worlds and Counterpart Semantics for Modal Logic MARCUS KRACHT AND OLIVER KUTZ Abstract. The paper reviews the technical results from modal logic as well as their philosophical significance. It focuse

Add to Reading List

Source URL: www.linguistics.ucla.edu

Language: English - Date: 2005-05-11 15:44:48
13Non-classical logic / Science / Knowledge representation / Model theory / Artificial intelligence / Frame problem / Situation calculus / Circumscription / Modal logic / Logic / Mathematical logic / Logic programming

Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2011-05-25 06:07:08
14English grammar / English modal verb

Sentence Frame Reference Sheet for Integrating ELD in Content Areas Scientific Language Function Describe

Add to Reading List

Source URL: www.sde.idaho.gov

Language: English - Date: 2013-10-09 15:13:32
15Waves / Water waves / Oceanography / Wave turbulence / Acoustics / Nonlinear resonance / Resonance / Modal frame / Triad / Physics / Music / Mathematical analysis

The dynamics of nonlinear atmospheric planetary waves is determined by a small number of independent wave clusters consisting of a few connected resonant triads. We classified the different types of connections between n

Add to Reading List

Source URL: www.medical-science.site88.net

Language: English - Date: 2013-01-31 20:39:57
16Modal logic / Philosophical logic / Non-classical logic / Logic in computer science / Kripke semantics / Intuitionistic logic / General frame / Natural deduction / Interior algebra / Logic / Mathematical logic / Mathematics

Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-20 11:12:09
17Abstract algebra / Abstract algebraic logic / Cylindric algebra / Boolean algebra / Alfred Tarski / Universal algebra / General frame / Modal logic / Model theory / Mathematical logic / Algebraic logic / Mathematics

´ ´ H. ANDREKA,

Add to Reading List

Source URL: www.math-inst.hu

Language: English - Date: 2003-08-05 15:11:27
18Non-classical logic / Knowledge / Artificial intelligence / Philosophical logic / Knowledge representation and reasoning / Scientific modeling / Description logic / Frame language / Modal logic / Logic / Science / Knowledge representation

1 An Introduction to Description Logics Daniele Nardi

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-09-08 09:53:48
19Propositional calculus / Modal logic / Logic in computer science / Philosophical logic / Kripke semantics / General frame / Intermediate logic / Intuitionistic logic / Natural deduction / Logic / Mathematical logic / Non-classical logic

Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek

Add to Reading List

Source URL: www.math.cas.cz

Language: English - Date: 2008-11-24 09:00:50
20Algebraic logic / Philosophical logic / Modal logic / Algebraic structures / General frame / Kripke semantics / Entailment / Modal algebra / Lindenbaum–Tarski algebra / Logic / Mathematical logic / Mathematics

PDF Document

Add to Reading List

Source URL: staff.science.uva.nl

Language: English
UPDATE